-- MAIN == 0
DEF MAIN:bool == and(false,true)
